SUMS OF SQUARES, MOMENT MATRICES AND OPTIMIZATION OVER POLYNOMIALS MONIQUE LAURENT∗ Updated version: February 6, 2010 Abstract. We consider the problem of minimizing a polynomial over a semialgebraic set defined by pol

Source URL: homepages.cwi.nl

• Mathematics
• Algebra
• Real algebraic geometry
• Mathematical optimization
• Operations research
• Matrices
• Linear programming
• Semidefinite programming
• Polynomial
• Moment problem
• Moment matrix
• Matrix

Top-k Querying of Unknown Values under Order Constraints Antoine Amarilli1 , Yael Amsterdamer2 , Tova Milo2 , and Pierre Senellart1,3 1 2

Source URL: pierre.senellart.com

• Constraint programming
• Probability distributions
• Operations research
• Mathematical optimization
• Expected value
• Beta distribution
• Interpolation
• Lagrange multiplier
• Constraint satisfaction

HYSDEL 3.0 – Manual Institute of Information Engineering, Automation, and Mathematics Slovak University of Technology in Bratislava Radlinsk´ehoBratislava

Source URL: control.ee.ethz.ch

• Software
• Application software
• Mathematical software
• Array programming languages
• Numerical software
• Parallel computing
• Linear algebra
• MATLAB
• R
• Mathematical optimization

Proof Interpretations with Truth∗ Jaime Gaspar† Paulo Oliva‡ 12 August 2009

Source URL: jg.sdf.org

• Logic
• Constructivism
• Mathematical logic
• Proof theory
• Abstraction
• Predicate logic
• Dependently typed programming
• Intuitionism
• Realizability
• BrouwerHeytingKolmogorov interpretation
• Intuitionistic logic
• Quantifier

Computing Equilibria for Two-Person Games Bernhard von Stengel ETH Z¨ urich November 25, 1996 (minor corrections added November 11, 1997)

Source URL: www.maths.lse.ac.uk

• Game theory
• Bimatrix game
• Zero-sum game
• Duality
• Nash equilibrium
• LemkeHowson algorithm
• Complementarity theory
• Linear programming
• Trembling hand perfect equilibrium
• Strategy
• Best response
• Mathematical optimization

Microsoft Word - Dynamic Weed.docx

Source URL: www.csse.uwa.edu.au

• Operations research
• Electric power
• Energy
• Academia
• Cybernetics
• Electric power distribution
• Electricity market
• Mathematical optimization
• Distributed generation
• Linear programming
• Evolutionary algorithm
• Market

Gaussian Belief Space Planning for Imprecise Articulated Robots Alex Lee Sachin Patil John Schulman Zoe McCarthy Jur van den Berg Ken Goldberg Pieter Abbeel Abstract— For many emerging applications, actuators are being

Source URL: goldberg.berkeley.edu

• Statistics
• Mathematical analysis
• Probability
• Robot control
• Mathematical optimization
• Dynamic programming
• Stochastic control
• Partially observable Markov decision process
• Trajectory optimization
• Kalman filter
• Motion planning
• Normal distribution

NumPy User Guide ReleaseWritten by the NumPy community May 29, 2016

Source URL: docs.scipy.org

• Array programming languages
• Cross-platform software
• Linear algebra
• NumPy
• SciPy
• Mathematical software
• Array data type
• Array programming
• Array data structure
• MATLAB
• Vectorization
• J

AMPL (A Mathematical Programming Language) at the University of Michigan Documentation (Version 2) D. Holmes 23 June 1992

Source URL: www-personal.umich.edu

Basic to Advanced GAMS Modeling Frisco Colorado, Aug 8 - Aug 12, 2016 This is an offering of five day bridged Basic to Advanced GAMS class. This will be a GAMS class designed for users initially who know little about GAM

Source URL: www.gams.com

• Computer algebra systems
• Mathematical modeling
• Operations research
• Mathematical optimization
• Gams
• Computable general equilibrium
• SAMPL
• Applied mathematics
• Mathematics
• Software engineering
• General Algebraic Modeling System
• Draft:Extended mathematical programming